منابع مشابه
Cubic Subalgebras and Filters of Ci-algebras
The notions of cubic subalgebras and cubic filters in CI-algebras are introduced, and related properties are investigated. Characterizations of cubic subalgebras are considered. Conditions for a cubic set to be a cubic filter are provided.
متن کاملSubalgebras of BCK/BCI-Algebras Based on Cubic Soft Sets
Operations of cubic soft sets including "AND" operation and "OR" operation based on P-orders and R-orders are introduced and some related properties are investigated. An example is presented to show that the R-union of two internal cubic soft sets might not be internal. A sufficient condition is provided, which ensure that the R-union of two internal cubic soft sets is also internal. Moreover, ...
متن کاملCovariant Presheaves and Subalgebras
For small involutive and integral quantaloids Q it is shown that covariant presheaves on symmetric Q-categories are equivalent to certain subalgebras of a speci c monad on the category of symmetric Q-categories. This construction is related to a weakening of the subobject classi er axiom which does not require the classi cation of all subalgebras, but only guarantees that classi able subalgebra...
متن کاملLow n Boolean Subalgebras
Every lown Boolean algebra, for 1 ≤ n ≤ 4, is isomorphic to a computable Boolean algebra. It is not yet known whether the same is true for n > 4. However, it is known that there exists a low5 subalgebra of the computable atomless Boolean algebra which, when viewed as a relation on the computable atomless Boolean algebra, does not have a computable copy. We adapt the proof of this recent result ...
متن کاملClosure Operators and Subalgebras
In this article we present several logical schemes. The scheme SubrelstrEx concerns a non empty relational structure A, a set B, and a unary predicate P, and states that: There exists a non empty full strict relational substructure S of A such that for every element x of A holds x is an element of S if and only if P[x] provided the following conditions are met: • P[B], • B ∈ the carrier of A. T...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Pure and Apllied Mathematics
سال: 2014
ISSN: 1311-8080,1314-3395
DOI: 10.12732/ijpam.v89i5.2